621. Introduction to the theory of programming languages
پدیدآورنده : Gilles Dowek, Jean-Jacques Laevy,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Programming languages )Electronic computers(,Programming languages )Electronic computers(^aSemantics
رده :
QA
.
D6813
76
.
7
2011
622. Introduction to the theory of programming languages
پدیدآورنده : Bertrand Meyer,Title
کتابخانه: (مازندران)
موضوع : Programming languages )Electronic computers(,Programming languages )Electronic computers(, Semantics
رده :
QA
.
M49
76
.
7
1988
623. Introduction to the theory of programming languages
پدیدآورنده : / bertrand Meyer,Meyer
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Programming language (Electronic Computers),Programming languages ( Electronic computers) --Semantics
رده :
QA
76
.
7
.
M49
1990
624. Introduction to the theory of programming languages
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Programming languages (Electronic computers) ; Programming languages (Electronic computers) ; Semantics. ;
625. Introduction to the theory of programming languages
پدیدآورنده : Meyer, Bertrand, 0591-
کتابخانه: (سمنان)
موضوع : ، Programming languages )electronic computers(,، Programming languages )electronic computers( - Semantics
رده :
QA
76
.
7
.
M4I5
626. Introduction to the theory of programming languages
پدیدآورنده : / Gilles Dowek, Jean-Jacques Laevy
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Programming languages (Electronic computers),Programming languages (Electronic computers)--Semantics
رده :
QA
,
76
.
7
,.
D6813
,
2011
627. Introduction to the theory of programming languages
پدیدآورنده : Meyer, Bertrand
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Progamming languages )Electronic computer(,Semantics ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
M49
1991
628. Introduction to the theory of programming languages
پدیدآورنده : Meyer, Bertrand
موضوع : ، Programming languages )Electronic computers(,، Programming languages )Electronic computers( -- Semantics
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
629. Introduction to the theory of programming languages
پدیدآورنده : Meyer, Bertrand, 0591-
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Programming languages )Electronic computers(,Semantics ، Programming languages )Electronic computers(
رده :
QA
76
.
7
.
M49
630. Introduction to the theory of programming languages
پدیدآورنده : / Bertrand Meyer
کتابخانه: المكتبة المركزية لجامعة إيلام (إیلام)
موضوع : Programming languages (Electronic computers),Programming languages (Electronic computers) - Semantics
رده :
QA76
.
7
.
M4I5
1988
631. Introduction to the theory of programming languages
پدیدآورنده : / Bertrand Meyer
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Programming languages (Electronic computer),Programming languages (Electronic computers) - Semantics
رده :
QA76
.
7
.
M49
1988
632. Introduction to the theory of programming languages, Introduction ?a la thaeorie des langages de programmation.English
پدیدآورنده : Dowek, Gilles., Gilles Dowek, Jean-Jacques Laevy
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Programming languages )Electronic computers(,، Programming languages )Electronic computers(, Semantics
رده :
QA
76
.
7
.
D6813
2011
633. Isomorphisms of types : from ]lambda[-calculus to information retrieval and language design
پدیدآورنده : Di Cosmo, Roberto, 3691-
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers(,، Type theory,، Human-computer interaction
رده :
QA
76
.
7
.
D48
634. It's all about coordination :
پدیدآورنده : Frank de Boer, Marcello Bonsangue, Jan Rutten (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer multitasking.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Parallel processing (Electronic computers),Artificial intelligence.,Computer modelling & simulation.,Computer multitasking.,Computer programming-- software development.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Electronic data processing-- Distributed processing.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Parallel processing (Electronic computers),Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
58
.
I87
2018eb
635. JULIA 1.0 PROGRAMMING COMPLETE REFERENCE GUIDE :
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Application software-- Development.,Programming languages (Electronic computers)
636. Java : a beginner's guide
پدیدآورنده : Schildt, Herbert
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Java )Computer program language(,، COMPUTERS / Programming Languages / Java
رده :
QA
76
.
73
.
J38
S327
2017
637. Java 2 certification exam guide for programmers
پدیدآورنده : / by Barry Boone and Willam R. Stanek
کتابخانه: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع : Electronic Data Processing personnel certification,Programming languages - (Electronic computers) -- Examinations -- Study guides,Java (Computer program language)
رده :
QA
76
.
3
.
B658
2000
638. Java 2 certification exam guide for programmers and developers
پدیدآورنده : Boone, Barry
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Electronic data processing personnel-- Certification,، Programming languages )Electronic computers(-- Examinations,، Java )Computer program language(
رده :
QA
76
.
3
.
B658
2000
639. Java 2 certification training guide
پدیدآورنده : / Jamie Jaworski
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Electronic data processing personnel- Certification,Programming languages (Electronic computers)- Examinations Study guides,Java (Computer program language)
رده :
QA76
.
3
.
J39
1999
640. Java 2 certification training guide /
پدیدآورنده : Jamie Jaworski.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electronic data processing personnel-- Certification.,Java (Computer program language),Programming languages (Electronic computers)-- Examinations, Study guides.,Electronic data processing personnel-- Certification.,Java (Computer program language),Programming languages (Electronic computers)-- Examinations.
رده :
QA76
.
3
.
J39
1999
